Incorrect Responses in First-Order False-Belief Tests: A Hybrid-Logical Formalization
نویسندگان
چکیده
منابع مشابه
Hybrid-Logical Reasoning in False-Belief Tasks
The main aim of the present paper is to use a proof system for hybrid modal logic to formalize what are called falsebelief tasks in cognitive psychology, thereby investigating the interplay between cognition and logical reasoning about belief. We consider two different versions of the Smarties task, involving respectively a shift of perspective to another person and to another time. Our formali...
متن کاملSecond-Order False-Belief Tasks: Analysis and Formalization
We first give a coarse-grained modal-logical analysis of the four best known second-order false-belief tasks. This preliminary analysis shows that the four tasks share a common logical structure in which a crucial role is played by a “principle of inertia” which says that an agent’s belief is preserved over time unless the agent gets information to the contrary. It also reveals informational sy...
متن کاملChildren's first and second-order false-belief reasoning in a verbal and a low-verbal task
We can understand and act upon the beliefs of other people, even when these conflict with our own beliefs. Children’s development of this ability, known as Theory of Mind, typically happens around age 4. Research using a looking-time paradigm, however, established that toddlers at the age of 15 months old pass a nonverbal false-belief task (Onishi and Baillargeon, 2005). This is well before the...
متن کاملFirst-Order Logical Filtering
Logical filtering is the process of updating a belief state (set of possible world states) after a sequence of executed actions and perceived observations. In general, it is intractable in dynamic domains that include many objects and relationships. Still, potential applications for such domains (e.g., semantic web, autonomous agents, and partial-knowledge games) encourage research beyond immed...
متن کاملFirst-order logical duality
From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models can be topologized in such a way that the theory can be recovered from its space of models. The situation can be cast as a formal duality relating two categ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2020
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2020.003